Computable function - PDFSEARCH.IO - Document Search Engine

Computable function
Results: 170

#	Item
51	Microsoft PowerPoint - SecurityOverview Add to Reading List Source URL: cups.cs.cmu.edu Language: English - Date: 2006-01-27 11:55:21 Michael Reiter Computable function Carnegie Mellon University VEST Ciphertext RSA Cryptographic hash function Cryptography Public-key cryptography Stream ciphers
52	A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION∗ JOHN McCARTHY 1961–1963 [This 1963 paper was included in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirshberg and published by North-Hollan Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:08:23 Theoretical computer science Theory of computation Functions and mappings Function Computable function Logical connective Computability Indeterminate form Universal quantification Computability theory Mathematics Mathematical logic
53	Differential Equations, Infinite Limits and Real Recursive Functions ´ JOSE´ FELIX COSTA∗ Instituto Superior T´ecnico Add to Reading List Source URL: fgc.math.ist.utl.pt Language: English - Date: 2008-12-02 06:06:34 Mathematical logic Theory of computation Recursion Functions and mappings Primitive recursive function Function Fold Lambda calculus Computable function Mathematics Computability theory Theoretical computer science
54	Theoretical Computer Science – 366 www.elsevier.com/locate/tcs Adapting innocent game models for the B#ohm tree -theory Andrew D. Ker, Hanno Nickau∗ , C.-H. Luke Ong Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-08-03 11:40:10 Mathematical logic Theory of computation Models of computation Formal methods Lambda calculus Computable function Determinacy Numbering Function Computability theory Mathematics Theoretical computer science
55 $CS109B Notes for LectureUnsolvable Problems Some problems have \ecient$	CS109B Notes for LectureUnsolvable Problems Some problems have \ecient" solutions, i.e., Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:26 Theory of computation Computability theory Halting problem Reduction Undecidable problem Computable function Computability Function Algorithm Theoretical computer science Mathematics Applied mathematics
56	Annex CGE model technical overview JFF Add to Reading List Source URL: www.djei.ie Language: English - Date: 2015-03-27 13:36:16 Demand Elasticity Computable general equilibrium Price elasticity of demand Production function Output Economics Consumer theory Microeconomics
57	Computability of continuous solutions of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Abstract. Given a continuous functional f : X → Y and y ∈ Y , we wish Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-03-18 06:51:09 Theory of computation Theoretical computer science Metric space Computable function Uniform space Filter Continuous function Mathematics Computability theory Topology
58	Algorithmic solution of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Version of June 10, 2011 Abstract Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-10 08:42:01 Mathematical analysis Calculus Models of computation Lambda calculus Metric space Computable function Function Continuous function Uniform continuity Mathematics Computability theory Theory of computation
59	doi:[removed]j.enpol[removed] Add to Reading List Source URL: people.bu.edu Language: English - Date: 2006-10-21 10:35:55 Energy economics Computable general equilibrium General equilibrium theory Economic growth Electricity market Production function Constant elasticity of substitution Energy industry Prospective Outlook on Long-term Energy Systems Economics Microeconomics Energy
60	Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof. Liesbeth De Mol∗ [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:50:50 Computer science Theory of computation Busy beaver Turing machine Halting problem Computable function Alan Turing Mathematical proof Computability Mathematics Theoretical computer science Computability theory